action precondition axiom

action precondition axiom
постулат предусловий действия

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "action precondition axiom" в других словарях:

  • Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based …   Wikipedia

  • Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia

  • Israel — /iz ree euhl, ray /, n. 1. a republic in SW Asia, on the Mediterranean: formed as a Jewish state May 1948. 5,534,672; 7984 sq. mi. (20,679 sq. km). Cap.: Jerusalem. 2. the people traditionally descended from Jacob; the Hebrew or Jewish people. 3 …   Universalium

  • Non-aggression principle — Part of a series on Libertarianism …   Wikipedia

  • Ferdinand Canning Scott Schiller — Infobox Philosopher region = Western Philosophy era = 19th/20th century philosophy color = #B0C4DE image caption = Ferdinand Canning Scott Schiller name = F.C.S. Schiller birth = August 16 1864 death = August 9 1937 school tradition = Pragmatism… …   Wikipedia

  • Holy Roman Empire — a Germanic empire located chiefly in central Europe that began with the coronation of Charlemagne as Roman emperor in A.D. 800 (or, according to some historians, with the coronation of Otto the Great, king of Germany, in A.D. 962) and ended with… …   Universalium

  • Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …   Wikipedia

  • Science (Philosophies of) — Philosophies of science Mach, Duhem, Bachelard Babette E.Babich THE TRADITION OF CONTINENTAL PHILOSOPHY OF SCIENCE If the philosophy of science is not typically represented as a ‘continental’ discipline it is nevertheless historically rooted in… …   History of philosophy

  • Jeremy Bentham — Full name Jeremy Bentham Born 15 February 1748(1748 02 15) London, England Died 6 June 1832 …   Wikipedia

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Hasidic philosophy — This article is about Hasidic philosophy. For an overview of the Hasidic movement, see Hasidic Judaism. Hasidus called the Torah of the Baal Shem Tov and his Wellsprings , after his account in a letter to Gershon of Kitov about the elevation of… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»